Vasco T. Vasconcelos: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Selected Papers from the Eleventh International Conference on Coordination Models and Languages

John Field, Vasco T. Vasconcelos

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 134 KB

english, 2012

2

Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014)

Donaldson, Alastair, Vasconcelos, Vasco T.

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 123 KB

english, 2015

3

Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers

Cogumbreiro, Tiago, Surendran, Rishi, Martins, Francisco, Sarkar, Vivek, Vasconcelos, Vasco T., Grossman, Max

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 376 KB

english, 2017

4

Target motion mitigation promotes high-precision treatment planning and delivery of extreme hypofractionated prostate cancer radiotherapy: Results from a phase II study

Greco, Carlo, Pares, Oriol, Pimentel, Nuno, Louro, Vasco, Morales, Javier, Nunes, Beatriz, Vasconcelos, Ana Luisa, Antunes, Ines, Kociolek, Justyna, Stroom, Joep, Viera, Sandra, Mateus, Dalila, Cardos

Journal:

Radiotherapy and Oncology

Year:

2020

Language:

english

File:

PDF, 1.52 MB

english, 2020

5

Processes, functions, and datatypes

Vasconcelos, Vasco T.

Journal:

Theory and Practice of Object Systems

Year:

1999

Language:

english

File:

PDF, 154 KB

english, 1999

6

Unification of kinded infinite trees

Vasco Thudichum Vasconcelos

Journal:

Information Processing Letters

Year:

1995

Language:

english

File:

PDF, 507 KB

english, 1995

7

Type-Directed Compilation for Multicore Programming

Kohei Honda, Vasco T. Vasconcelos, Nobuko Yoshida

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 265 KB

english, 2009

8

Compiling the π-calculus into a Multithreaded Typed Assembly Language

Tiago Cogumbreiro, Francisco Martins, Vasco T. Vasconcelos

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 447 KB

english, 2009

9

Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication

Nobuko Yoshida, Vasco T. Vasconcelos

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 431 KB

english, 2007

10

Collective intelligence in law enforcement – The WikiCrimes system

Vasco Furtado, Leonardo Ayres, Marcos de Oliveira, Eurico Vasconcelos, Carlos Caminha, Johnatas D’Orleans, Mairon Belchior

Journal:

Information Sciences

Year:

2010

Language:

english

File:

PDF, 2.15 MB

english, 2010

11

Type checking a multithreaded functional language with session types

Vasco T. Vasconcelos, Simon J. Gay, António Ravara

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 400 KB

english, 2006

12

Communication errors in the π-calculus are undecidable

Vasco T. Vasconcelos, António Ravara

Journal:

Information Processing Letters

Year:

1999

Language:

english

File:

PDF, 63 KB

english, 1999

13

The Impact of Linearity Information on the Performance of TyCO

Francisco Martins, Luís Lopes, Vasco T. Vasconcelos

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 281 KB

english, 2003

14

Lexically scoped distribution: what you see is what you get

António Ravara, Ana G. Matos, Vasco T. Vasconcelos, Luís. Lopes

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 195 KB

english, 2003

15

Typing the Behavior of Objects and Components using Session Types

Antonio Vallecillo, Vasco T. Vasconcelos, António Ravara

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 179 KB

english, 2003

16

Preface

Vasco T. Vasconcelos, Nobuko Yoshida

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 94 KB

english, 2009

17

Distribution and Mobility with Lexical Scoping in Process Calculi

Vasco T. Vasconcelos, Luís Lopes, Fernando Silva

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 936 KB

english, 1998

18

18th International Conference on Concurrency Theory

Luís Caires, Vasco T. Vasconcelos

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 57 KB

english, 2010

19

Fundamentals of session types

Vasco T. Vasconcelos

Journal:

Information and Computation

Year:

2012

Language:

english

File:

PDF, 302 KB

english, 2012

20

An Algebra of Behavioural Types

António Ravara, Pedro Resende, Vasco T. Vasconcelos

Journal:

Information and Computation

Year:

2012

Language:

english

File:

PDF, 352 KB

english, 2012

21

[Lecture Notes in Computer Science] CONCUR 2007 – Concurrency Theory Volume 4703 || Rule-Based Modelling of Cellular Signalling

Caires, Luís, Vasconcelos, Vasco T.

Year:

2007

Language:

english

File:

PDF, 1.09 MB

english, 2007

22

[Lecture Notes in Computer Science] Coordination Models and Languages Volume 5521 || Biochemical Tuple Spaces for Self-organising Coordination

Field, John, Vasconcelos, Vasco T.

Year:

2009

Language:

english

File:

PDF, 432 KB

english, 2009

23

The evaluation of the thermal behaviour of a mortar based brick masonry wall coated with TiO2 nanoparticles: An experimental assessment towards energy efficient buildings

Carneiro, Joaquim O., Vasconcelos, Graça, Azevedo, Sofia, Jesus, Carlos, Palha, Carlos, Gomes, Nuno, Teixeira, Vasco

Journal:

Energy and Buildings

Year:

2014

Language:

english

File:

PDF, 2.01 MB

english, 2014

24

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Disciplining Orchestration and Conversation in Service-Oriented Computing

Lanese, Ivan, Martins, Francisco, Vasconcelos, Vasco T., Ravara, Antonio

Year:

2007

Language:

english

File:

PDF, 350 KB

english, 2007

25

Reference pricing in the presence of pseudo-generics

Gonçalves, Ricardo, Rodrigues, Vasco, Vasconcelos, Hélder

Journal:

International Journal of Health Care Finance and Economics

Year:

2015

Language:

english

File:

PDF, 416 KB

english, 2015

26

Linear type theory for asynchronous session types

GAY, SIMON J., VASCONCELOS, VASCO T.

Journal:

Journal of Functional Programming

Year:

2010

Language:

english

File:

PDF, 376 KB

english, 2010

27

[ACM Press the 11th ACM SIGPLAN conference - Coimbra, Portugal (2009.09.07-2009.09.09)] Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 - Session types for linear multithreaded functional programming

Vasconcelos, Vasco T.

Year:

2009

Language:

english

File:

PDF, 433 KB

english, 2009

28

[ACM Press the 17th Workshop - Prague, Czech Republic (2015.07.07-2015.07.07)] Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs - FTfJP '15 - Imperative objects with dependent types

Campos, Joana, Vasconcelos, Vasco T.

Year:

2015

Language:

english

File:

PDF, 375 KB

english, 2015

29

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Modular session types for distributed object-oriented programming

Gay, Simon J., Vasconcelos, Vasco T., Ravara, António, Gesbert, Nils, Caldeira, Alexandre Z.

Year:

2010

Language:

english

File:

PDF, 533 KB

english, 2010

30

Foundations of Session Types and Behavioural Contracts

Hüttel, Hans, Tuosto, Emilio, Vieira, Hugo Torres, Zavattaro, Gianluigi, Lanese, Ivan, Vasconcelos, Vasco T., Caires, Luís, Carbone, Marco, Deniélou, Pierre-Malo, Mostrous, Dimitris, Padovani, Luca, R

Journal:

ACM Computing Surveys

Year:

2016

Language:

english

File:

PDF, 405 KB

english, 2016

31

Lambda and pi calculi, CAM and SECD machines

VASCONCELOS, VASCO THUDICHUM

Journal:

Journal of Functional Programming

Year:

2005

Language:

english

File:

PDF, 218 KB

english, 2005

32

Linearity, session types and the Pi calculus

GIUNTI, MARCO, VASCONCELOS, VASCO THUDICHUM

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 248 KB

english, 2016

33

Modular session types for distributed object-oriented programming

Gay, Simon J., Vasconcelos, Vasco T., Ravara, António, Gesbert, Nils, Caldeira, Alexandre Z.

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 533 KB

english, 2010

34

Influences of Duration of Inspiratory Effort, Respiratory Mechanics, and Ventilator Type on Asynchrony With Pressure Support and Proportional Assist Ventilation

Vasconcelos, Renata S, Sales, Raquel P, de P Melo, Luíz H, Marinho, Liégina S, Bastos, Vasco PD, Nogueira, Andréa da NC, Ferreira, Juliana C, Holanda, Marcelo A

Journal:

Respiratory Care

Year:

2017

Language:

english

File:

PDF, 857 KB

english, 2017

35

Gradual session types

Igarashi, Atsushi, Thiemann, Peter, Vasconcelos, Vasco T., Wadler, Philip

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 359 KB

english, 2017

36

Immediate effects “biofeedback” and electrostimulation anorectal in the treatment of contraction of muscle paradoxical puborectal in women with evacuation blocked

Magalhães, Germana Mesquita, Vasconcelos, Thiago Brasileiro de, Regadas, Sthela Maria Murad, Bastos, Vasco Pinheiro Diógenes, Almeida, Paulo César de, Veras, Lusmar Rodrigues

Journal:

Journal of Coloproctology (Rio de Janeiro)

Year:

2017

File:

PDF, 684 KB

2017

37

Effects of passive inhalation of cigarette smoke on structural and functional parameters in the respiratory system of guinea pigs

Vasconcelos, Thiago Brasileiro de, Araújo, Fernanda Yvelize Ramos de, Pinho, João Paulo Melo de, Soares, Pedro Marcos Gomes, Bastos, Vasco Pinheiro Diógenes

Journal:

Jornal Brasileiro de Pneumologia

Year:

2016

Language:

english

File:

PDF, 498 KB

english, 2016

38

Hantavirus Pulmonary Syndrome: Report of the first three cases in São Paulo, Brazil

SILVA, Marcos Vinicius da, VASCONCELOS, Marileide Januária, HIDALGO, Neuma Terezinha Rossetto, VEIGA, Ana Paula Rocha, CANZIAN, Mauro, MAROTTO, Paulo Cesar Fumagali, LIMA, Vasco Carvalho Pedroso de

Journal:

Revista do Instituto de Medicina Tropical de São Paulo

Year:

1997

File:

PDF, 1.13 MB

1997

39

Harnessing of corneas captured and processed for transplantation in an ocular tissue bank of North-eastern Brazil

Freire, Izaura Luzia Silvério, Silva, Micheline da Fonseca, Gomes, Andrea Tayse de Lima, Vasconcelos, Quinidia Lúcia Duarte de Almeida Quithé de, Araújo, Rhayssa de Oliveira e, Torres, Gilson de Vasco

Journal:

Revista Gaúcha de Enfermagem

Year:

2014

File:

PDF, 474 KB

2014

40

Análise de indicadores assistenciais em uma Unidade de Terapia Intensiva Pediátrica na cidade de Fortaleza/CE

Oliveira, Carlos Ariel Souza de, Pinto, Francisco Cid Coelho, Vasconcelos, Thiago Brasileiro de, Bastos, Vasco Pinheiro Diógenes

Journal:

Cadernos Saúde Coletiva

Year:

2017

File:

PDF, 901 KB

2017

41

Failure to complete treatment for latent tuberculosis infection in Portugal, 2013–2017: geographic-, sociodemographic-, and medical-associated factors

Sentís, Alexis, Vasconcelos, Paula, Machado, Rita Sá, Caylà, Joan A., Guxens, Mònica, Peixoto, Vasco, Duarte, Raquel, Carvalho, Isabel, Carvalho, Carlos

Journal:

European Journal of Clinical Microbiology & Infectious Diseases

Year:

2019

File:

PDF, 336 KB

2019